#include <stdint.h>

#define PROFILER 0

extern uint64_t localtime; 

#if PROFILER
#define PROF_START prof_start(__FUNCTION__);
#define PROF_STOP prof_stop(__FUNCTION__);
#define PROF_STOP_RET(a) do { prof_stop(__FUNCTION__); return a; } while(0)

/* Profiler functions */
void prof_init();
void prof_start(const char* name);
void prof_stop(const char *name);
#else
#define PROF_START do {} while(0);
#define PROF_STOP do {} while(0);
#define PROF_STOP_RET(a) return a;
#endif
